#ifndef __DWT_H
#define __DWT_H
#include "stdio.h"
#include "stm32f4xx_conf.h"
#include "sys.h"

void reset_timer(void);
void start_timer(void);
void stop_timer(void);
unsigned int getCycles(void);

#endif


